Nuprl Definition : iff 11,40
P  Q == (P  Q)  (P  Q) 
latex

DefinitionsP  Q, P  Q, P  Q, P  Q
FDL editor aliasesiff

origin